-- Expected output: true
DEF MAIN:bool == and(false, false)

